random access buffered iterator
Source: /avail/Avail/Data Abstractions/Iterators/Random Access Buffered Iterators
Categories: Data Abstractions, Iterators
Get the current position of the random access buffered iterator.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | anIterator | random access buffered iterator | A random access buffered iterator. | |
| Returns | ⊤ | The iterator's current position, a natural number. | Raises | |
| invalid-position exception | If position is not a valid memento. | |||
positionable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Restrict the current position of the specified positionable iterator to the position variable's content type.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | anIterator | positionable iterator | A positionable iterator. | |
| Returns | any | A position memento that represents the current position. | ||
positionable iterator
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Answer the current position of the specified positionable iterator.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | anIterator | positionable iterator | A positionable iterator. | |
| Returns | any | A position memento that represents the current position. | ||